|
| Keyword : Petri nets
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
A Flexible and Efficient Workflow Change Type: Selective Shift
Shingo YAMAGUCHI Akira MISHIMA Qi-Wei GE Minoru TANAKA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/06/01
Vol. E88-A
No. 6 ;
pp. 1487-1496
Type of Manuscript:
Special Section PAPER (Special Section on Papers Selected from 2004 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2004))
Category:
Keyword:
workflows, dynamic change, workflow nets, Petri nets, change time, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
Necessary and Sufficient Condition for Liveness of Asymmetric Choice Petri Nets
Tadashi MATSUMOTO Yasuhiko TSURUTA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/03/25
Vol. E80-A
No. 3 ;
pp. 521-533
Type of Manuscript:
Special Section PAPER (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
Petri nets, liveness, asymmetric choice nets, behavioral traps, confusion, | | | Summary | Full Text:PDF | |
| |
| |
|
On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule
Atsushi OHTA Tomiji HISAMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A
No. 11 ;
pp. 1791-1796
Type of Manuscript:
Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category:
Keyword:
Petri nets, the earliest furing rule, liveness, reachability, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets --
Toshimasa WATANABE Naomoto KATO Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A
No. 3 ;
pp. 425-435
Type of Manuscript:
Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
Horn clauses,propositional logic, Petri nets, proofs, axiom sets, | | | Summary | Full Text:PDF | |
|
|
