Petri Nets: An Introduction

Keywords

Petri netLivenessEvent (particle physics)Equivalence (formal languages)AbstractionNet (polyhedron)Computer scienceAlgebraic numberInvariant (physics)Transition systemMathematicsDiscrete mathematicsTheoretical computer scienceAlgebra over a fieldPure mathematicsAlgorithm

Related Publications

Stochastic Petri net representation of discrete event simulations

Peter J. Haas , Gerald S. Shedler

In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the ...

1989 IEEE Transactions on Software Enginee... 55 citations

An Algorithm for the General Petri Net Reachability Problem

Ernst Mayr

An algorithm is presented for the general Petri net reachability problem. It is based on a generalization of the basic reachability tree construction which is made symmetric wit...

1984 SIAM Journal on Computing 453 citations

1981 Proceedings of the IEEE 7 citations

Publication Info

Year: 1985
Type: book
Citations: 2040
Access: Closed

External Links

Citation Metrics

2040

OpenAlex

Cite This

APA Style

                            
                                    Wolfgang Reisig
                                
                            (1985). 
                            Petri Nets: An Introduction. 
                            Fraunhofer-Publica (Fraunhofer-Gesellschaft)
                            
                            .