|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kamila Agata Barylska, Edward Ochmanski |
Hierarchy of persistency with respect to the length of actions disability. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Michal Knapik, Wojciech Penczek |
SMT-based parameter synthesis for L/U automata. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Wagner 0003 |
Agentworkflows for Flexible Workflow Execution. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf |
When Can We Trust a Third Party? - A Soundness Perspective. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg |
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Dominic Dibbern |
Porting the Renew Petri Net Simulator to the Operating System Android. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Wolfgang Reisig |
What Should we Teach About Petri Nets? |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Jan Bolte |
SonarEditor: A Tool for Multi-Agent-Organizations Modelling. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Julian Burkhart, Michael Haustermann |
PetriPad A Collaborative Petri Net Editor. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard, Dirk Fahland, Christian Stahl |
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Anna Dedova, Laure Petrucci |
From Code to Coloured Petri Nets: Modelling Guidelines. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Toshiyuki Miyamoto, Yasuwo Hasegawa |
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Sofiane Bendoukha, Thomas Wagner 0003 |
Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Robert Lorenz 0001, Markus Huber 0006, Christoph Etzel, Dan Zecha |
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier |
Model-Driven Middleware Support for Team-Oriented Process Management. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Radek Kocí, Vladimír Janousek |
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello |
Local state refinement on Elementary Net Systems: an approach based on morphisms. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012 |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Luca Bernardinello, Francesco Adalberto Bianchi |
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Irgang, Andreas Harrer, Robin Bergenthum |
MuPSi - a multitouch Petri net simulator for transition steps. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt |
Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior. |
PNSE |
2012 |
DBLP BibTeX RDF |
|
1 | Nejm Saadallah, Benoit Daireaux |
A Goal Based Approach on top of Petri Nets. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Christine Choppy, Jörg Desel, Laure Petrucci |
Specialisation and Generalisation of Processes. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong |
PNTM Integration of Petri Nets and Transactional Memory. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Kent Inge Fagerland Simonsen |
On the use of Pragmatics for Model-based Development of Protocol Software. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard |
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Victor Khomenko |
Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong |
Transitions as Transactions. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya |
Design, Modelling and Analysis of a Workflow Reconfiguration. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Marcin Hewelt, Thomas Wagner 0003, Lawrence Cabac |
Integrating Verification into the PAOSE Approach. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Ekkart Kindler |
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci |
Extending PNML Scope: the Prioritised Petri Nets Experience. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf |
A Component Framework where Port Compatibility Implies Weak Termination. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Tobias Betz, Lawrence Cabac, Matthias Güttler |
Improving the Development Tool Chain in the Context of Petri Net-Based Software Development. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011 |
PNSE |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard, Henricus M. W. (Eric) Verbeek |
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. |
PNSE |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|