Petri net theory and the modeling of systems

QR Code

Petri net theory and the modeling of systems

Saved in:

Bibliographic Details
Main Author:	Peterson, James Lyle
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J Prentice-Hall c1981
Subjects:	System design System analysis Petri nets
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01)

Review of hierarchy in Petri Nets
by: Michał Markiewicz, et al.
Published: (2025-07-01)

An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas
by: M. G. Dorrer
Published: (2010-06-01)

Fault Management in Speed Control Systems of Hydroelectric Power Plants Through Petri Nets Modeling: Case Study of the Alazán Power Plant, Ecuador
by: Cristian Fernando Valdez-Zumba, et al.
Published: (2025-06-01)

On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions
by: Vladimir A. Bashkin
Published: (2020-06-01)

Research on state monitoring and diagnosis models for multi-state systems based on Petri nets
by: Haohao Liu, et al.
Published: (2025-09-01)

Vulnerability Assessment Framework for Physical Protection Systems Integrating Complex Networks and Fuzzy Petri Nets
by: Si Chen, et al.
Published: (2025-06-01)

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2015-02-01)

A Method of Sample Models of Program Construction in Terms of Petri Nets
by: D. I. Kharitonov, et al.
Published: (2015-08-01)

On a Function Representation in an Imperative Program Model Specified by Petri Nets
by: G. V. Tarasov, et al.
Published: (2011-06-01)

Remarks on the Reachability Graphs of Petri Nets
by: Yuriy Anatol’yevich Belov
Published: (2022-12-01)

Homology Groups of a Pipeline Petri Net
by: A. A. Husainov, et al.
Published: (2013-04-01)

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets
by: S. A. Chernenok, et al.
Published: (2014-12-01)

Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
by: Khalid Amjed Mohammed Alsaegg, et al.
Published: (2025-07-01)

Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm
by: D. A. Zaitsev
Published: (2011-12-01)

Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
by: D. A. Zaitsev
Published: (2015-03-01)

METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
by: Igor G. Fedorov
Published: (2016-08-01)

THE APPROACH ТО ТНE ASSESSMENT OK THE EFFECTIVENESS OF THE AVIATION SECURITY SERVICE OF AIRLINES USING PETRI NETS
by: B. V. Zubkov, et al.
Published: (2016-11-01)

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
by: Nadezhda S. Mogilevskaya, et al.
Published: (2011-11-01)

Research on Plant Disease and Pest Diagnosis Model Based on Generalized Stochastic Petri Net
by: Wenxue Ran, et al.
Published: (2025-06-01)

Application of Coloured Petri Nets for Veriﬁcation of Scenario Control Structures in UCM Notation
by: N. V. Vizovitin, et al.
Published: (2016-12-01)

SIMULATOR MODEL OF ORDER SERVICE SYSTEM OF THE COMMUNICATION OPERATOR BASED ON THE PETRI NET
by: V. P. Mochalov, et al.
Published: (2022-08-01)

Medical Diagnosis Based on Multi-threshold Fuzzy Petri Net with Loop
by: ZHANG Xuanyu, et al.
Published: (2024-12-01)

Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets
by: D. M. Beloglazov, et al.
Published: (2011-12-01)

Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures
by: Олександр Гурський, et al.
Published: (2024-06-01)

MODELING STRENGTH PROPERTIES OF PRODUCTS OF ADDITIVE TECHNOLOGIES USING PARALLEL COMPUTING
by: A. N. Privalov, et al.
Published: (2022-08-01)

On the Spatial Boundedness of Cellular RDA-nets
by: Vladimir A. Bashkin
Published: (2017-08-01)

Approximating Bisimulation in One-counter Nets
by: V. A. Bashkin
Published: (2011-12-01)

Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems
by: Yen-Liang Pan, et al.
Published: (2025-02-01)

A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers
by: P. E. Efimova
Published: (2010-03-01)

Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
by: Julio C Carrasquel, et al.
Published: (2021-06-01)

Iterative Configuration of T-Timed Colored Petri Nets by a MILP Model for Rail Freight Volume and Rolling Stock Planning
by: Grazielle F. da Silva, et al.
Published: (2025-01-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
by: V. A. Bashkin, et al.
Published: (2013-08-01)

Application of colored timed Petri nets for cement production simulation
by: Irina A. Sedykh, et al.
Published: (2016-12-01)

On the Hereditary Properties of Modular Nets
by: V. A. Bashkin
Published: (2015-03-01)

Generalized Asynchronous Systems
by: E. S. Kudryashova, et al.
Published: (2015-02-01)

Evolution Model of Emergency Material Supply Chain Stress Based on Stochastic Petri Nets—A Case Study of Emergency Medical Material Supply Chains in China
by: Qiming Chen, et al.
Published: (2025-06-01)

An Emergency Response Framework Design and Performance Analysis for Ship Fire Incidents in Waterway Tunnels
by: Jian Deng, et al.
Published: (2025-07-01)

Modeling of parallel program synchronization primitives
by: Oleg S. Kryukov, et al.
Published: (2025-06-01)

On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits
by: V. A. Bashkin
Published: (2013-04-01)