Advances in Petri nets, 1986: proceedings of an advanced course, Bad Honnef, 8.-19. September 1986, Volume 2
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
Springer-Verlag, May 26, 1987 - Mathematics
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract action activity analysis application arcs behaviour bisimulation cache Communicating Sequential Processes complete components Computer Science Computer system concepts conceptual schema concurrent alphabet concurrent systems consistent construction continuous functions corresponding data item database defined definition denotational semantics denotes E-unit editor embedding environment equivalence example execution Figure finite firing formal function space functional units functor Grafcet graph graphical implementation initial marking input interactive interface invariants isomorphism labelled lemma messages morphism multiset nodes objects operation operational semantics output partial function partial order Petri net tools predicate schemes prefix prime event structures Programmable Logic Controllers programming language Proof properties Proposition protocols refinement relation represent representation request requirements role SADT schedule semantics sequence sequential simulation specification stable event structures string subset synchronisation synchronous Theorem token trace languages transition