A linear logic view of object petri nets

Dynamic modification of object Petri nets: an application to modelling protocols with fork-join structures

Fundamenta Informaticae

Modeling dynamic objects in distributed systems with nested Petri nets

Fundamenta Informaticae

A Systematic Approach towards Object-Based Petri Net Formalisms

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets

Concurrency in mobile object net systems

Fundamenta Informaticae - Concurrency specification and programming

Modelling with hierarchical object Petri nets

Fundamenta Informaticae - Concurrency specification and programming

Model checking linear logic specifications

Theory and Practice of Logic Programming

Relating State-Based and Process-Based Concurrency through Linear Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Comparing Concepts of Object Petri Net Formalisms

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)

Nested Petri Nets: Multi-level and Recursive Systems

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)

A New Synchronisation Model for Multi-Level Object Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Properties of Super-Dual Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005

Dynamic Transition Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)

The Reachability Problem for Object Nets

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

On the Expressiveness of Communication Channels for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Relating state-based and process-based concurrency through linear logic (full-version)

Information and Computation

Web service orchestration with super-dual object nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

High-level nets with nets and rules as tokens

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets