Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN' 97, Toulouse, France, June 23-27, 1997, Proceedings > Timed Petri nets and temporal linear logic
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN' 97, Toulouse, France, June 23-27, 1997, Proceedings |
Pierre Azema; Gianfranco Balbo
Springer Berlin Heidelberg
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN' 97, Toulouse, France, June 23-27, 1997, Proceedings
Timed Petri nets and temporal linear logic
Authors

Makoto Tanabe

ARI Id

1664865192611_3840546

Access

Not Available Free

Pages

156-174

DOI

10.1007/3-540-63139-9_35

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-63139-9_35

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Model checking LTL using constraint programming
Javier Esparza; Stephan Melzer
1-20
On the composition of timed systems
Joseph Sifakis
21-22
Some issues about Petri net application to manufacturing and process supervisory control
Robert Valette
23-41
On the abstraction of coloured Petri Nets
Charles Lakos
42-61
Life-cycle inheritance
W. M. P. van der Aalst; T. Basten
62-81
Multi-agent-systems based on coloured Petri nets
Daniel Moldt; Frank Wienberg
82-101
On the complexity of the linear-time μ-calculus for Petri Nets
Peter Habermehl
102-116
Improved implementations via a new structural equivalence on labeled nets
Wojciech Fraczak; Elisabeth Pelz
117-135
Time processes for time Petri nets
Tuomas Aura; Johan Lilius
136-155
Timed Petri nets and temporal linear logic
Makoto Tanabe
156-174
Efficient handling of Phase-type distributions in generalized stochastic Petri nets
Serge Haddad; Patrice Moreaux; Giovanni Chiola
175-194
Petri's axioms of concurrency a selection of recent results
Olaf Kummer; Mark -Oliver Stehr
195-214
Analysis of Petri nets with a dynamic priority method
Falko Bause
215-234
A compositional partial order semantics for Petri net components
Ekkart Kindler
235-252
Covering step graph preserving failure semantics
François Vernadat; François Michel
253-270
Siphons, traps and high-level nets with infinite color domains
Karsten Schmidt
271-289
Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course
Søren Christensen; Kjeld H. Mortensen
290-309
Transition systems of Elementary Net Systems with inhibitor arcs
Marta Pietkiewicz-Koutny
310-327
Coupling asynchrony and interrupts: Place Chart Nets
Michael Kishinevsky; Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Alexander Taubin; Alex Yakovlev
328-347
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings