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 (47)

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

This page was built for publication: Lectures on Petri nets. 1: Basic models. Advances in Petri nets