Managing business processes as an information resource
IBM Systems Journal
Bounded Reachability Checking with Process Semantics
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
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
Petri Nets, Situations, and Automata
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of 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
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Probabilistic cluster unfoldings
Fundamenta Informaticae
Process semantics of general inhibitor nets
Information and Computation
Theoretical Computer Science
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A Formal Model of Multi-Agent Organisations
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Orthomodular Lattices in Occurrence Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Exception handling in the BPEL4WS language
BPM'03 Proceedings of the 2003 international conference on Business process management
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Reference and value semantics are equivalent for ordinary object petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A Formal Model of Multi-Agent Organisations
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Probabilistic Cluster Unfoldings
Fundamenta Informaticae
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Rational, Linear and Algebraic Process Languages and Iteration Lemmata
Fundamenta Informaticae
Fundamenta Informaticae
Net-Definability of Process Languages
Fundamenta Informaticae
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
Cause-Effect Structures - Structural and Semantic Properties Revisited
Fundamenta Informaticae
Processes in Cause-Effect Systems
Fundamenta Informaticae
Defining Multi-Party Compromises using Unfoldings of Workflow Nets
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 0.00 |