Specific proposals for the use of petri nets in a concurrent programming course
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
Bridging Deliberation and Reactivity in Cooperative Multi-Robot Systems through Map Focus
Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions)
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Simulation Preorder for Abstraction of Reactive Systems
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Linear Theory of Multiset Based Dynamic Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
How to Model and Verify Concurrent Algorithms for Distributed CSPs
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ESTL: A Temporal Logic for Events and States
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
Translations between Textual Transition Systems and Petri Nets
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A visual modeling framework for distributed object computing
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Handbook of automated reasoning
Arbitration-free synchronization
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Theoretical Computer Science
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Producer/Consumer in Membrane Systems and Petri Nets
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Oclets --- Scenario-Based Modeling with Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Web services and business process management
IBM Systems Journal
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Concurrent architecture for a multi-agent platform
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Improving static variable orders via invariants
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
How expressive are petri net schemata?
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Modeling dynamic architectures using nets-within-nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Randomness + structure = clutter: a procedural object placement generator
ICEC'11 Proceedings of the 10th international conference on Entertainment Computing
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Stubborn sets for simple linear time properties
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Fundamenta Informaticae
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
Analyzing stability of algorithmic systems using algebraic constructs
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
AI methods in algorithmic composition: a comprehensive survey
Journal of Artificial Intelligence Research
Hi-index | 0.00 |