Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
35
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,983
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Application and Theory of Petri Nets 1993
other
Editor(s):
Marco Ajmone Marsan
Publication date
(Print):
1993
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Author and book information
Book
ISBN (Print):
978-3-540-56863-6
ISBN (Electronic):
978-3-540-47759-4
Publication date (Print):
1993
DOI:
10.1007/3-540-56863-8
SO-VID:
4a92b690-a551-4253-bd33-52b236784b78
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 17
Interleaving functional and performance structural analysis of net models
pp. 32
Taking advantages of temporal redundancy in High Level Petri Nets implementations
pp. 49
A subset of Lotos with the computational power of Place/Transition-nets
pp. 69
An efficient algorithm for finding structural deadlocks in colored Petri nets
pp. 89
Synthesis of net systems
pp. 106
Hierarchies in colored GSPNs
pp. 126
Variable reasoning and analysis about uncertainty with fuzzy Petri nets
pp. 146
Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency
pp. 166
Transient analysis of deterministic and stochastic Petri nets
pp. 186
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
pp. 206
Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems
pp. 224
Shortest paths in reachability graphs
pp. 242
Construction of S-invariants and S-components for refined Petri boxes
pp. 262
Compositional liveness properties of EN-systems
pp. 282
Analysis of place/transition nets with timed arcs and its application to batch process control
pp. 300
On well-formed nets and optimizations in enabling tests
pp. 319
Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net
pp. 339
Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model
pp. 357
Marking optimization of stochastic timed event graphs
pp. 377
A client-server protocol for the composition of Petri nets
pp. 397
Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks
pp. 415
Liveness and home states in equal conflict systems
pp. 433
Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling
pp. 473
Integration of specification for modeling and specification for system design
pp. 493
New priority-lists for scheduling in timed Petri nets
pp. 513
A unified approach for reasoning about conflict-free Petri nets
pp. 532
A colored Petri Net model for a naval command and control system
pp. 542
Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application
pp. 552
On net modeling of industrial size concurrent systems
pp. 562
Analysis of the TMS320C40 communication channels using timed Petri Nets
pp. 572
Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN
pp. 582
Petri Nets modeling in pipelined microprocessor design
Similar content
4,983
Improving the Strategy of Maintaining Offshore Wind Turbines through Petri Net Modelling
Authors:
Rundong Yan
,
Sarah Dunnett
Jails are Petri dishes’: Inmates freed as the virus spreads behind bars
Authors:
T Williams
,
B Weiser
,
W. Rashbaum
Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller
Authors:
Ramon Piedrafita
,
José Luis Villarroel
,
José Luis Villarroel Salcedo
See all similar
Cited by
1
Petri nets and integrality relaxations: a view of continuous petri net models
Authors:
M SILVA
,
L. Recalde
See all cited by