Lectures on Petri nets. 1: Basic models. Advances in Petri nets

No author found.

Publication date: 10 December 1998

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins, Clustering for Petri nets, The conformon-P system: a molecular and cell biology-inspired computability model, Tissue Systems and Petri Net Synthesis, Why there is no general solution to the problem of software verification, On selective unboundedness of VASS, Process semantics of general inhibitor nets, Signal set tissue systems and overlapping localities, Dominance and T-Invariants for Petri Nets and Chemical Reaction Networks, On sets of numbers accepted by P/T systems composed by join, Computing with chemical reaction networks: a tutorial, Vector team automata, Multi-modal scenarios revisited: a net-based representation, The sweep-line state space exploration method, Localities in systems with a/sync communication, Transfer of trust in event-based reputation systems, Step coverability algorithms for communicating systems, Small vertex cover makes Petri net coverability and boundedness easier, An extended Earley's algorithm for Petri net controlled grammars without \(\lambda\) rules and cyclic rules, k-Petri Net Controlled Grammars, Statechartable Petri nets, Automatic verification for a class of distributed systems, A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models, Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities, Theory of reaction automata: a survey, Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems, Composition colored Petri nets for the refinement of reaction-based models, Processes of membrane systems with promoters and inhibitors, Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen., Synchronization of Bernoulli sequences on shared letters, Inheritance of behavior, A collaborative scheduling approach for service-driven scientific workflow execution, A process calculus BigrTiMo of mobile systems and its formal semantics, Editorial: Deadlock analysis and control in resource allocation systems, Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets, A Hybrid Approach to Modeling Biological Systems, Conformon-P Systems with Negative Values, Grammars Controlled by Special Petri Nets, Phase semantics and Petri net interpretation for resource-sensitive strong negation, P SYSTEMS AND TOPOLOGY: SOME SUGGESTIONS FOR RESEARCH, Modeling biological gradient formation: combining partial differential equations and Petri nets, Dominance and deficiency for Petri nets and chemical reaction networks, Series-parallel languages and the bounded-width property, A Practical Approach to Verification of Mobile Systems Using Net Unfoldings, Parallel dynamical systems over graphs and related topics: a survey, An algebraic model of observable properties in distributed systems, Minimal cut sets of a coherent fault tree generation using reverse Petri nets