|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4444 occurrences of 1511 keywords
|
|
|
Results
Found 8808 publication records. Showing 8808 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Dianxiang Xu |
A Tool for Automated Test Code Generation from High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 308-317, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | G. Michele Pinna |
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 109-128, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Michael Westergaard, Fabrizio Maria Maggi |
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 169-188, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Monika Heiner, David R. Gilbert |
How Might Petri Nets Enhance Your Systems Biology Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 17-37, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil |
Branching Processes of General Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 129-148, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen |
Synthesis and Analysis of Product-Form Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 288-307, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Pierre-Alain Reynier, Frédéric Servais |
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 69-88, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
74 | Oleg Yu. Gusikhin, Erica Klampfl |
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 125-144, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Yunhe Wang 0003, Li Jiao |
Canonical Transition Set Semantics for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 84-103, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Eike Best, Philippe Darondeau |
Separability in Persistent Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 246-266, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Lars Michael Kristensen |
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 39-42, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Thomas Chatain, Eric Fabre |
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 165-184, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Fernando Rosa-Velardo, David de Frutos-Escrig |
Forward Analysis for Petri Nets with Name Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 185-205, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Jetty Kleijn, Maciej Koutny |
Petri Nets with Localities and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 19-38, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Javier Esparza, Martin Leucker, Maximilian Schlund |
Learning Workflow Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 206-225, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
74 | Carlos A. Rovetto, Elia E. Cano, José Manuel Colom |
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 251-265, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi |
Improving the Significance of Benchmarks for Petri Nets Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 475-489, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Fei Liu 0006, Monika Heiner |
Colored Petri nets to Model and Simulate Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 71-85, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Kees M. van Hee, Zheng Liu |
Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 403-417, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek |
Modelling Gradients using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 39-53, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | João M. Fernandes |
Combining Petri Nets and UML for Model-based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 217-218, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Kamila Barylska, Lukasz Mikulski, Edward Ochmanski |
On Persistent Reachability in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 373-384, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of General Petri Nets with Localities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 161-174, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Roberto Ross-León, Antonio Ramírez-Treviño, José Alejandro Morales, Javier Ruiz-León |
Control of Metabolic Systems Modeled with Timed Continuous Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 87-102, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero |
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 119-133, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
74 | Eike Best, Philippe Darondeau |
Decomposition Theorems for Bounded Persistent Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 33-51, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Charles Lakos, John W. Lamp |
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application of Petri Nets to Communication Networks ![In: Application of Petri Nets to Communication Networks, Advances in Petri Nets, pp. 37-68, 1999, Springer, 3-540-65870-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
74 | Carla Capellmann, Heinz Dibold, Uwe Herzog |
Using High-Level Petri Nets in the Field of Intelligent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application of Petri Nets to Communication Networks ![In: Application of Petri Nets to Communication Networks, Advances in Petri Nets, pp. 1-36, 1999, Springer, 3-540-65870-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
74 | Geoffrey R. Wheeler |
The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application of Petri Nets to Communication Networks ![In: Application of Petri Nets to Communication Networks, Advances in Petri Nets, pp. 69-92, 1999, Springer, 3-540-65870-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
74 | Adel Ben Mnaouer, Takashi Sekiguchi, Yasumasa Fujii, Toru Ito, Haruki Tanaka |
Colored Petri Nets Based Modelling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application of Petri Nets to Communication Networks ![In: Application of Petri Nets to Communication Networks, Advances in Petri Nets, pp. 93-130, 1999, Springer, 3-540-65870-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
74 | Helmut Plünnecke, Wolfgang Reisig |
Bibliography on Petri nets 1990. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 317-572, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
74 | Claude Dutheillet, Serge Haddad |
Regular stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 186-209, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
stochastic nets, Higher-level net models |
74 | Dirk Taubner |
On the Implementation of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 418-434, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
74 | Kurt Jensen |
Computer Tools for Construction, Modification and Analysis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 4-19, 1986, Springer, 3-540-17906-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Michel Diaz |
Petri Nets Based Models in the Specification and Verification of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 135-170, 1986, Springer, 3-540-17906-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Wolfgang Reisig |
Petri Nets in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 63-96, 1986, Springer, 3-540-17906-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Jean-Loup Baer |
Modelling Architectural Features with Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 258-277, 1986, Springer, 3-540-17906-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Kurt Jensen |
Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 248-299, 1986, Springer, 3-540-17905-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Matthias Jantzen |
Language Theory of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 397-412, 1986, Springer, 3-540-17905-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Eike Best |
Structure Theory of Petri Nets: the Free Choice Hiatus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 168-205, 1986, Springer, 3-540-17905-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Fritz Krückeberg, Michael Jaxy |
Mathematical methods for calculating invariants in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 104-131, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Elisabeth Pelz |
Infinitary languages of Petri nets and logical sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 224-237, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter |
Bibliography of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 309-451, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
74 | Hassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez |
Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 15-31, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
74 | J. Carlier, Philippe Chrétienne, Claude Girault |
Modelling scheduling problems with timed Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 62-82, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
74 | Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen |
Towards reachability trees for high-level Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 215-233, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
74 | Marc Courvoisier |
A Matrix-Based Implementation of Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 60-73, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Robert Valette, Marc Courvoisier, D. Mayeux |
Control of Flexible Production Systems and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 264-277, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Niels Damgaard Hansen, K. H. Madsen |
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 132-148, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Wolfgang Reisig |
Petri Nets with Individual Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 229-249, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Matthias Jantzen, Hendrik Bramhoff |
Notions of Computability by Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 149-165, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Grzegorz Rozenberg, R. Verraedt |
Subset Languages of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 250-263, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Pascal Estraillier, Claude Girault |
Petri Nets Specification of Virtual Ring Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 74-85, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone |
Milner's Communicating Systems and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 40-59, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Kurt Jensen |
High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, pp. 166-180, 1982, Springer, 3-540-12309-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
74 | Kurt Jensen, Morten Kyng |
Petri Nets and Semantics of System Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 64-71, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Ernst Grill |
Design-Review by Petri-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 38-44, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Robert Valette |
Petri Nets and Reliable Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 222-227, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Gerard Florin, Stéphane Natkin |
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 280-288, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Rüdiger Valk |
Test on Zero in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 193-197, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Jean-Michel Ayache, Pierre Azéma, Michel Diaz |
Towards Fault Tolerant Real Time Systems by Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 228-233, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Guy Vidal-Naquet |
Deterministic Languages of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 198-202, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Jean-Pierre Queille, Joseph Sifakis |
Iterative Methods for the Analysis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 161-167, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Otthein Herzog |
Graph-Theoretical Analysis of a Subclass of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 178-182, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | P. Rolin |
Using Petri Nets in Measurements of a Distributed Data Base System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 11-22, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
74 | Olaf Kluge |
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 197-218, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Dianxiang Xu, Kendall E. Nygard |
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(4), pp. 265-278, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented Petri nets, modeling, verification, Petri nets, aspect-oriented software development, Software security, threat modeling |
74 | Masato Notomi, Tadao Murata |
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(5), pp. 325-336, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs |
74 | Zhuomin Du, Yanxiang He |
Plan Specification of Multi-agent based on Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 912-916, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Marina Bagic |
Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 842-853, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
74 | Xiao-Qiang Wu |
An Intelligent Petri Nets Model Based on Competitive Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design I, 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004, Revised Selected Papers, pp. 388-397, 2004, Springer, 3-540-29400-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
73 | David A. Hartley, David M. Harvey |
Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 562-571, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
73 | Kunihiko Hiraishi |
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 244-262, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
73 | Michael Westergaard, Lars Michael Kristensen |
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 313-322, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
73 | Eugenio Battiston, A. Chizzoni, Fiorella de Cindio |
CLOWN as a Testbed for Concurrent Object-Oriented Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 131-163, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
73 | Jens Linneberg Rasmussen, Mejar Singh |
Designing a Security System by Means of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 400-419, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
73 | Jens Bæk Jørgensen, Kjeld Høyer Mortensen |
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 249-268, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets |
73 | Cyril Autant, Philippe Schnoebelen |
Place Bisimulations in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 45-61, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets |
73 | Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona |
Scheduling Hard Real Time Systems Using High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 93-112, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
73 | Einar Smith |
On net systems generated by process foldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 253-276, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Quotient Nets, Elementary Petri Systems, Contacts, Concurrent Processes |
73 | Marco Baldassari, Giorgio Bruno |
An Environment for Object- oriented Conceptual Programming Based on PROT Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 1-19, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
73 | Agathe Merceron |
Fan processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 181-195, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
73 | Klaus Voss |
A net model of a local area network protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 413-437, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
72 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 543-477, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior |
72 | H.-C. Yen |
Integer Linear Programming and the Analysis of Some Petri Net Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 32(4), pp. 467-485, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
72 | Hsu-Chun Yen, Chien-Liang Chen |
Computing Minimal Elements of Upward-Closed Sets for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 465-483, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst |
History-Dependent Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 164-183, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Maciej Koutny |
Partial Order Semantics of Box Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 318-337, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics |
72 | Apostolos Niaouris |
An Algebra of Petri Nets with Arc-Based Time Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 447-462, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras |
72 | Thomas Chatain, Claude Jard |
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 125-145, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Niels Lohmann, Eric Verbeek 0001, Remco M. Dijkman |
Petri Net Transformations for Business Processes - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, pp. 46-63, 2009, Springer, 978-3-642-00898-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
71 | Andreas Glausch, Wolfgang Reisig |
How Expressive Are Petri Net Schemata?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 201-220, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Kurt Jensen, Lars Michael Kristensen, Lisa Wells |
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(3-4), pp. 213-254, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling |
71 | Bernard Berthomieu, Florent Peres, François Vernadat 0001 |
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 82-97, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets |
71 | Walter Keller |
Reverse Engineering with Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 4th European Conference on Software Maintenance and Reengineering, CSMR 2000, Zurich, Switzerland, February 29 - March 3, 2000., pp. 235-238, 2000, IEEE Computer Society, 0-7695-0546-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
colored nets, engineering metaphor, Petri nets, reverse engineering, folding, design recovery |
71 | Ekkart Kindler, Tobias Vesper |
ESTL: A Temporal Logic for Events and States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 365-384, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
verification, Petri nets, specification, Temporal logic, events, system development, states |
71 | Erwin M. Thurner, C. Wincheringer |
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 283-288, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
realiabilty, TOMSPIN, Modelling, performance, Generalized Stochastic Petri Nets |
71 | Antoni W. Mazurkiewicz |
Petri Nets Without Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 20-23, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Mikko Tiusanen |
Symbolic, Symmetry, and Stubborn Set Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 511-530, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
71 | Clarence A. Ellis, Gary J. Nutt |
Modeling and Enactment of Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 1-16, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 8808 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|