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
40
views
6
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,228
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Application and Theory of Petri Nets 1993
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
other
Author(s):
Søren Christensen
,
Niels Damgaard Hansen
Publication date
(Online):
June 2 2005
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
Quaternary ammonium surfactants as nanoparticles against infection
Most cited references
6
Record
: found
Abstract
: not found
Book
: not found
Petri Nets
Wolfgang Reisig
(1985)
0
comments
Cited
118
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Coloured petri nets: A high level language for system design and analysis
Kurt Jensen
(1991)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Predicate/Transition Nets
Hartmann J. Genrich
(1987)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1993
Publication date (Online):
June 2 2005
Pages
: 186-205
DOI:
10.1007/3-540-56863-8_47
SO-VID:
5286c1ea-2160-4aeb-afef-efa91bdcfc6c
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
2,228
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
Authors:
Marco Montali
,
Andrey Rivkin
From DB-nets to Coloured Petri Nets with Priorities
Authors:
Marco Montali
,
Andrey Rivkin
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
Authors:
A. Giua
,
C. Seatzu
,
F Basile
See all similar
Cited by
8
Time and Fairness in a Process Algebra with Non-blocking Reading
Authors:
Flavio Corradini
,
Maria Rita Di Berardini
,
Walter Vogler
Petri Net Semantics of the Finite π-Calculus
Authors:
Raymond Devillers
,
Hanna Klaudel
,
Maciej Koutny
Efficiency of asynchronous systems and read arcs in petri nets
Authors:
Walter Vogler
See all cited by