Maciej Koutny

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Confusion-Tolerant Computation of Probability in Acyclic Nets.

[BibT_eX]

[DOI]

Anirban Bhattacharyya

Trans. Petri Nets Other Model. Concurr., 2023

Synthesising Elementary Net Systems with Interval Order Semantics.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

Interval Traces with Mutex Relation.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View

[BibT_eX]

[DOI]

Studies in Computational Intelligence 1020, Springer, ISBN: 978-3-662-64819-3, 2022

Synthesising elementary net systems with localities.

[BibT_eX]

[DOI]

Aishah Ahmed

Theor. Comput. Sci., 2022

Slimming down Petri Boxes: Compact Petri Net Models of Control Flows.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Avoiding Exponential Explosion in Petri Net Models of Control Flows.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Asynchrony and persistence in reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Relational structures for concurrent behaviours.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Quantitative Analysis of Opacity in Cloud Computing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2021

Investigating Reversibility of Steps in Petri Nets.

[BibT_eX]

[DOI]

David de Frutos-Escrig

Fundam. Informaticae, 2021

Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2021

Verification of Communication Structured Acyclic Nets Using SAT.

[BibT_eX]

[DOI]

Nadiyah Almutairi

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

Plug-in context providers for reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Reaction Systems and Enabling Equivalence.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Preface.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Fundam. Informaticae, 2020

2019

Classifying invariant structures of step traces.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2019

From Box Algebra to Interval Temporal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Operational Semantics, Interval Orders and Sequences of Antichains.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

Reversing Steps in Petri Nets.

[BibT_eX]

[DOI]

David de Frutos-Escrig

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs).

[BibT_eX]

[DOI]

Talal Alharbi

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

Petri Nets and Petri's Nets: A Personal Perspective.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Reversible computation vs. reversibility in Petri nets.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Reversing Transitions in Bounded Petri Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Reaction Mining for Reaction Systems.

[BibT_eX]

[DOI]

Artur Meski

Wojciech Penczek

Proceedings of the Unconventional Computation and Natural Computation, 2018

Reaction Systems, Transition Systems, and Equivalences.

[BibT_eX]

[DOI]

Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

An Efficient Characterization of Petri Net Solvable Binary Words.

[BibT_eX]

[DOI]

David de Frutos-Escrig

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Visualising Data Sets in Structured Occurrence Nets.

[BibT_eX]

[DOI]

Talal Alharbi

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.

[BibT_eX]

[DOI]

Bowen Li

Anirban Bhattacharyya

Talal Alharbi

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Applying regions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Signal set tissue systems and overlapping localities.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Evolving reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

An extension of the taxonomy of persistent and nonviolent steps.

[BibT_eX]

[DOI]

Inf. Sci., 2017

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations.

[BibT_eX]

[DOI]

Artur Meski

Wojciech Penczek

Fundam. Informaticae, 2017

Invariant Structures and Dependence Relations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Alphabets of Acyclic Invariant Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Modeling biological gradient formation: combining partial differential equations and Petri nets.

[BibT_eX]

[DOI]

Nat. Comput., 2016

Formal verification of secure information flow in cloud computing.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2016

Step traces.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Towards Quantitative Verification of Reaction Systems.

[BibT_eX]

[DOI]

Artur Meski

Wojciech Penczek

Proceedings of the Unconventional Computation and Natural Computation, 2016

Synthesis of Petri Nets with Whole-Place Operations and Localities.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

From Petri Nets with Shared Variables to ITL.

[BibT_eX]

[DOI]

Ben C. Moszkowski

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Characterising Concurrent Histories.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Persistent and Nonviolent Steps and the Design of GALS Systems.

[BibT_eX]

[DOI]

Johnson Fernandes

Danil Sokolov

Fundam. Informaticae, 2015

Strategy based semantics for mobility with time and access permissions.

[BibT_eX]

[DOI]

L. Jason Steggles

Formal Aspects Comput., 2015

PerTiMo: A Model of Spatial Migration with Safe Access Permissions.

[BibT_eX]

[DOI]

Comput. J., 2015

Opacity in Internet of Things with Cloud Computing (Short Paper).

[BibT_eX]

[DOI]

Paul Watson

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Order Structures for Subclasses of Generalised Traces.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

Unfolding CSPT-nets.

[BibT_eX]

[DOI]

Bowen Li

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

Non-atomic Transition Firing in Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Tissue Systems and Petri Net Synthesis.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2014

Folded Hasse diagrams of combined traces.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2014

A Flow Sensitive Security Model for Cloud Computing Systems.

[BibT_eX]

[DOI]

CoRR, 2014

Data Resources in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Interval Temporal Logic Semantics of Box Algebra.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2014

Verifying Secure Information Flow in Federated Clouds.

[BibT_eX]

[DOI]

Paul Watson

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Performance Modelling and Evaluation of Enterprise Information Security Technologies.

[BibT_eX]

[DOI]

Aad P. A. van Moorsel

Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013

Causality in Extensions of Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2013

A complete proof system for propositional projection temporal logic.

[BibT_eX]

[DOI]

Nan Zhang

Theor. Comput. Sci., 2013

ITL semantics of composite Petri nets.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2013

Mutex Causality in Processes and Traces of General Elementary Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Step semantics of boolean nets.

[BibT_eX]

[DOI]

Acta Informatica, 2013

Cost-benefit analysis of digital rights management products using stochastic models.

[BibT_eX]

[DOI]

Kaiyu Liu

Proceedings of the 46th Annual Simulation Symposium, 2013

Causal Structures for General Concurrent Behaviours.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Concurrency, 2013

A Taxonomy of Persistent and Nonviolent Steps.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Step Persistence in the Design of GALS Systems.

[BibT_eX]

[DOI]

Johnson Fernandes

Danil Sokolov

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Synthesis Problem for Petri Nets with Localities.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2012

Minimal Reaction Systems.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2012

Regions of Petri nets with a/sync connections.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Localities in systems with a/sync communication.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena).

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Step coverability algorithms for communicating systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Membrane Systems and Petri Net Synthesis

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Towards Quantitative Analysis of Opacity.

[BibT_eX]

[DOI]

Jeremy W. Bryans

Chunyan Mu

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

A Timed Mobility Semantics Based on Rewriting Strategies.

[BibT_eX]

[DOI]

L. Jason Steggles

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Modelling Provenance Using Structured Occurrence Networks.

[BibT_eX]

[DOI]

Paolo Missier

Proceedings of the Provenance and Annotation of Data and Processes, 2012

Behavioural Equivalences over Migrating Processes with Timers.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the Formal Techniques for Distributed Systems, 2012

Relevance of Entities in Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Languages Alive, 2012

Hasse Diagrams of Combined Traces.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Timed Mobility in process algebra and Petri nets.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Membrane Systems with Qualitative Evolution Rules.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Petri Nets for Biologically Motivated Computing.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2011

Petri Nets and Bio-Modelling - and how to benefit from their synergy

[BibT_eX]

[DOI]

CoRR, 2011

Timed Migration and Interaction with Access Permissions.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

Causality in Structured Occurrence Nets.

[BibT_eX]

[DOI]

Proceedings of the Dependable and Historic Computing, 2011

Classifying Boolean Nets for Region-based Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Workshop Applications of Region Theory 2011, 2011

The Mutex Paradigm of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Minimal Regions of ENL-Transition Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

State Space Reduction for Dynamic Process Creation.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

Petri Nets with Localities and Testing.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2010

Synthesis of General Petri Nets with Localities.

[BibT_eX]

[DOI]

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), 2010

Modelling Gradients using Petri Nets.

[BibT_eX]

[DOI]

Quotient Monoids and Concurrent Behaviours.

[BibT_eX]

Proceedings of the Scientific Applications of Language Methods., 2010

2009

A Petri net model for membrane systems with dynamic structure.

[BibT_eX]

[DOI]

Nat. Comput., 2009

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Synthesis of Nets with Step Firing Policies.

[BibT_eX]

[DOI]

Philippe Darondeau

Fundam. Informaticae, 2009

Synthesis of Petri Nets with Localities.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2009

An approach to state space reduction for systems with dynamic process creation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

Applying Step Coverability Trees to Communicating Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Formal Languages and Concurrent Behaviours.

[BibT_eX]

[DOI]

Proceedings of the New Developments in Formal Languages and Applications, 2008

Processes of membrane systems with promoters and inhibitors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Framed temporal logic programming.

[BibT_eX]

[DOI]

Xiaoxiao Yang

Sci. Comput. Program., 2008

Opacity generalised to transition systems.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Synthesis of Elementary Net Systems with Context Arcs and Localities.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

A compositional Petri net translation of general <i>pi</i> -calculus terms.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Modelling and Verification of Timed Interaction and Migration.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Processes of Petri Nets with Range Testing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Verification of bounded Petri nets using integer programming.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2007

Failures: Their Definition, Modelling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Modelling Mobility in High-level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Process Semantics for Membrane Systems.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2006

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Petri Net Semantics of the Finite pi-calculus Terms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Merged processes: a new condensed representation of Petri net behaviour.

[BibT_eX]

[DOI]

Acta Informatica, 2006

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.

[BibT_eX]

[DOI]

Alexei Iliasov

Alexander B. Romanovsky

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Synchrony and Asynchrony in Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Petri Net Translation of <i>pi</i>-Calculus Terms.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Transition Systems of Elementary Net Systems with Localities.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Infinite Process Semantics of Inhibitor Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Towards an Algebra of Abstractions for Communicating Processes.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

A Petri Net Semantics of a Simple Process Algebra for Mobility.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Towards a Petri Net Semantics for Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Semantics of Framed Temporal Logic Programs.

[BibT_eX]

[DOI]

Xiaoxiao Yang

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A Framed Temporal Logic Programming Language.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Process semantics of general inhibitor nets.

[BibT_eX]

[DOI]

Inf. Comput., 2004

Detecting State Encoding Conflicts in STG Unfoldings Using SAT.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Relating Communicating Processes with Different Interfaces.

[BibT_eX]

[DOI]

Jonathan Burton

Fundam. Informaticae, 2004

Modelling Opacity Using Petri Nets.

[BibT_eX]

[DOI]

Jeremy W. Bryans

Peter Y. A. Ryan

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Modelling Dynamic Opacity Using Petri Nets with Silent Actions.

[BibT_eX]

[DOI]

Jeremy W. Bryans

Peter Y. A. Ryan

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Petri Net Semantics of the Finite pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

Context-based Process Algebras for Mobility.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Asynchronous Box Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Canonical prefixes of Petri net unfoldings.

[BibT_eX]

[DOI]

Walter Vogler

Acta Informatica, 2003

Branching Processes of High-Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Detecting State Coding Conflicts in STG Unfoldings Using SAT.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Process Algebra: A Petri-Net-Oriented Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

The Box Algebra = Petri Nets + Process Expressions.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Parallelisation of the Petri Net Unfolding Algorithm.

[BibT_eX]

[DOI]

Keijo Heljanko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Detecting State Coding Conflicts in STGs Using Integer Programming.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

Visualization of Partial Order Models in VLSI Design Flow.

[BibT_eX]

[DOI]

Alexandre V. Bystrov

Proceedings of the 2002 Design, 2002

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

An Algebra of Non-safe Petri Boxes.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Behaviour Abstraction for Communicating Sequential Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Modelling and verification of an atomic action protocol implemented in Ada.

[BibT_eX]

Alexander B. Romanovsky

Comput. Syst. Sci. Eng., 2001

Recursion and Petri nets.

[BibT_eX]

[DOI]

Acta Informatica, 2001

Verifying Implementation Relations.

[BibT_eX]

[DOI]

Jonathan Burton

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Towards an Efficient Algorithm for Unfolding Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Implementing Communicating Processes in the Event of Interface Difference.

[BibT_eX]

[DOI]

Jonathan Burton

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

A Unified Model for Nets and Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Process Algebra, 2001

Petri net algebra.

[BibT_eX]

[DOI]

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04457-5, 2001

2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

LP Deadlock Checking Using Partial Order Dependencies.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

A Compositional Model of Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

Process Semantics of P/T-Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Operational and Denotational Semantics for the Box Algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Peter Lauer and COSY.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

On Causality Semantics of Nets with Priorities.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

A Model of Behaviour Abstraction for Communicating Processes.

[BibT_eX]

[DOI]

Proceedings of the STACS 99, 1999

The Box Algebra - A Model of Nets and Process Expressions.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.

[BibT_eX]

[DOI]

Martin Hesketh

Proceedings of the Application and Theory of Petri Nets 1998, 1998

Recursive Nets in the Box Algebra.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Two Implementation Relations and the Correctness of Communicating Replicated Processes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1997

Fundamentals of Modelling Concurrency Using Discrete Relational Structures.

[BibT_eX]

[DOI]

Acta Informatica, 1997

1996

Petri Nets, Process Algebras and Concurrent Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

Semantics of Inhibitor Nets.

[BibT_eX]

[DOI]

Inf. Comput., 1995

Using net refinement to compute the fixpoint of a recursive.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

On compositionality and Petri nets in protocol engineering.

[BibT_eX]

Nikolay A. Anisimov

Proceedings of the Protocol Specification, 1995

Solving Recursive Net Equations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

A Refined View of the Box Algebra.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Representations of Discrete Interval Orders and Semi-Orders.

[BibT_eX]

J. Inf. Process. Cybern., 1994

Deriving Histories of Nets with Priority Relation.

[BibT_eX]

[DOI]

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Projection in Temporal Logic Programming.

[BibT_eX]

[DOI]

Chris Holt

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Operational Semantics for the Petri Box Calculus.

[BibT_eX]

[DOI]

Javier Esparza

Proceedings of the CONCUR '94, 1994

Partial Order Semantics of Box Expressions.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Structure of Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Modelling Replicated Processing.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

Order Structures and Generalisations of Szpilrajn's Theorem.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

Adequacy-Preserving Transformations of COSY Path Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Petri Net Semantics of Priority Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Invariants and paradigms of concurrency theory.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1992

Modelling systems with dynamic priorities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Axiom system induced by CTL* Logic.

[BibT_eX]

Fundam. Informaticae, 1991

Formalising Replicated Distributed Processing.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Invariant Semantics of Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

On Some Implementation of Optimal Simulations.

[BibT_eX]

[DOI]

Proceedings of the Computer-Aided Verification, 1990

Using Optimal Simulations to Reduce Reachability Graphs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

Optimal simulations, nets and reachability graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1991, 1990

1989

Synchronizing events in replicated systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 1989

Towards A Theory Of Simulation For Verification Of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1986

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

The Merlin-Randell Problem of Train Journeys.

[BibT_eX]

[DOI]

Acta Informatica, 1986

On equivalent execution semantics of concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1987, 1986

Formal specification of N-modular redundancy.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Identification of Regular Configurations with Partial Information.

[BibT_eX]

[DOI]

Wojciech Zakowski