Modelling with History-Dependent Petri Nets
暂无分享,去创建一个
Kees M. van Hee | Jan Martijn E. M. van der Werf | Natalia Sidorova | Alexander Serebrenik | Marc Voorhoeve
[1] Jennifer Widom,et al. Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .
[2] G. Michele Pinna,et al. Domain and event structure semantics for Petri nets with read and inhibitor arcs , 2004, Theor. Comput. Sci..
[3] Wolfgang Reisig,et al. The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..
[4] Marco Pistore,et al. History-Dependent Automata: An Introduction , 2005, SFM.
[5] Wolfgang Reisig,et al. Applications and Theory of Petri Nets 2004 , 2004, Lecture Notes in Computer Science.
[6] Kees M. van Hee,et al. History-Dependent Petri Nets , 2007, ICATPN.
[7] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.
[8] Raymond R. Devillers,et al. Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..
[9] Hartmann J. Genrich,et al. Predicate/Transition Nets , 1986, Advances in Petri Nets.
[10] Jennifer Widom,et al. Deriving Production Rules for Constraint Maintainance , 1990, VLDB.
[11] Tommi A. Junttila. New Canonical Representative Marking Algorithms for Place/Transition-Nets , 2004, ICATPN.