ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
22
views
8
references
Top references
cited by
2
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,171
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Applications and Theory of Petri Nets
AlPiNA: A Symbolic Model Checker
other
Author(s):
Didier Buchs
,
Steve Hostettler
,
Alexis Marechal
,
Matteo Risoldi
Publication date
(Print):
2010
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
Business Model Innovation in engineering
Most cited references
8
Record
: found
Abstract
: not found
Book
: not found
Coloured Petri Nets
Kurt Jensen
(1996)
0
comments
Cited
10
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Data Decision Diagrams for Petri Net Analysis
Jean-Michel Couvreur
,
Emmanuelle Encrenaz
,
Emmanuel Paviot-Adet
…
(2002)
0
comments
Cited
9
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Petri nets and algebraic specifications
Wolfgang Reisig
(1991)
0
comments
Cited
9
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2010
Pages
: 287-296
DOI:
10.1007/978-3-642-13675-7_17
SO-VID:
1dbb8558-f045-4cfd-926f-f002b2c64158
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Instance Deadlock: A Mystery behind Frozen Programs
pp. 287
AlPiNA: A Symbolic Model Checker
pp. 63
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
pp. 226
Process Mining from a Basis of State Regions
pp. 318
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
Similar content
2,171
Un caso autoctono di leishmaniosi viscerale in una regione alpina italiana
Authors:
E Mondino
,
G Bottari
,
PL Caponcelli
…
Natal dispersal does not entail survival costs but is linked to breeding dispersal in a migratory shorebird, the southern dunlin
Calidris alpina schinzii
Authors:
Veli‐Matti Pakanen
,
Kari Koivula
,
Blandine Doligez
…
Digital and online symptom checkers and assessment services for urgent care to inform a new digital platform: a systematic review
Authors:
Duncan Chambers
,
Anna Cantrell
,
Maxine Johnson
…
See all similar
Cited by
2
Optimizing Verification of Structurally Evolving Algebraic Petri Nets
Authors:
Yasir Imtiaz Khan
Modelling of Genetic Regulatory Mechanisms with GReg
Authors:
Edmundo Lopez
,
Alban Linard
,
Steve Hostettler
…
See all cited by